/**
 * \file driver/keyboard/keyboard.h
 * \author Davide Gessa
 * \date 10-13-09
 */
#ifndef KEYBOARD_H
#define KEYBOARD_H

#include <ctype.h>
#include <system/syscall.h>


#define KEYBOARD_GETCHAR	1

#define	SHIFT_LEFT	0x2A
#define	SHIFT_RIGHT	0x36
#define PAGE_UP		0x49
#define PAGE_DOWN	0x51
#define LOCK_CAPS	0x3A
#define LOCK_NUM	0x45
#define LED_NUM		2
#define LED_CAPS	4


unsigned shift;
unsigned alt;
unsigned control;
unsigned capslock;
unsigned numlock;

char buf[256];
char bufsize;
char bufwhere;
char bufpoint;

char keyboard_getchar();
void keyboard_update_leds(char);
int main(int, char **);


#endif
